This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...